منابع مشابه
Two Fundamental Concepts in Skeletal Parallel Programming
We define the concepts of nesting mode and interaction mode as they arise in the description of skeletal parallel programming systems. We suggest that these new concepts encapsulate fundamental design issues and may play a useful role in defining and distinguishing between the capabilities of competing systems. We present the decisions taken in our own Edinburgh Skeleton Library eSkel, and revi...
متن کاملOnline Assessment of Programming Exercises
In our opinion programming can only be learned by reading and, first of all, writing programs [5]. It is our educational objective to advice the student to write programs and not only to learn the syntax. Programming exercises thus should be assessed by looking into the source code and documentation of the student’s solution. Their quality is essential. Hence we disagree with the approaches tha...
متن کاملAutomated Exercises for Constraint Programming
We describe the design, implementation, and empirical evaluation of some automated exercises that we are using in a lecture on Constraint Programming. Topics are propositional satisfiability, resolution, the DPLL algorithm, with extension to DPLL(T), and FD solving with arc consistency. The automation consists of a program for grading student answers, and in most cases also a program for genera...
متن کاملSome "Secure Programming" Exercises for an Introductory Programming Class
Ideally, computer security should be an integral part of all programming courses. Beginning programming classes pose a particular challenge, because the students are learning basic concepts of programming. Thus, teaching them about buffer overflows as security problems, requiring an explanation of concepts such as ―smashing the stack,‖ will confuse students more than motivate them to check arra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1990
ISSN: 0167-6423
DOI: 10.1016/0167-6423(90)90083-p